建设用地审批管理系统的分析与设计

文章介绍了与建设用地审批系统建设相关的工作流、面向服务的体系结构和地理信息系统(GIS)关键技术,以及如何应用关键技术来进行系统分析与设计的基本思路;以合肥市建设用地审批管理为例,通过对系统的功能需求和设计目标的分析,给出了建设用地审批系统的体系架构设计和实现。     

面向任务的工作流访问控制模型

在分析工作流对访问控制需求的基础上,提出了面向任务的工作流访问控制模型.该模型引入了授权任务概念,将执行任务需要的最小权限和执行任务的角色作为授权任务的属性,使角色和权限脱离关系.同时该模型定义了任务冲突关系,并在此基础上给出了动态授权约束规则,保证了组织安全策略的实施.面向任务的访问控制模型实现了授权流同工作流的同步,能够满足工作流访问控制对动态授权、最小权限和职责分离的要求.不同于已有的模型,该模型还通过角色和权限的分离解除了组织模型和工作流模型的耦合关系.     

基于工作流技术的OA系统研究

讨论了工作流技术在OA系统中的应用,给出了基于工作流管理的OA系统模型。     

基于UML的工作流建模研究

统一建模语言UML是面向对象分析和设计过程中的重要的建模工具.文章在介绍UML的基础上,以公文流转系统为背景,使用UML进行过程建模,分析了UML图与系统开发生命周期各阶段的对应关系,讨论了UML的建模机制和建模过程.     

三江源区高寒草甸退化与水塔功能的关系

为便于利用空区探测系统(CMS)采集的采空区点云数据,在三维重建之前对点云数据进行精简是一个必要的环节,提出了一种基于切片的采空区点云数据精简方法.根据采空区点云数据采集的原理,将采空区理想化处理,分析扫描角、扫描线间距及扫描点水平距离之间的关系,据此确定切片间距阈值.将最近点投影到切片上拟合成曲线,结合改进后的偏角法对曲线进行采样精简处理,并以实例证明该方法的有效性.     

基于普元软件平台的高校出国境管理平台的设计与开发

高校出国境管理在传统模式下通过纸质申请表进行申请的情况等,存在申请过程繁琐、等待时间长、审核结果反馈不及时、已有数据无法共享、数据不易统计等问题.针对以上问题,介绍了基于普元BPS(Business Process Suite,简称流程平台)产品开发的高校出国境管理平台,该平台借助于工作流引擎解决了出国境申请及审核一系列流程的运行和监控问题,同时结合平台阐述了流程图设计的几大要素:分支、聚合、参与者、工作项.经过平台开发和上线使用,证实平台设计和开发方案可以有效降低开发人工成本,提高软件质量,提升用户体验度,有效提高各部门的工作效率.     

工作流技术在公文流转中的设计

对工作流技术的产生、体系结构及特点作了简要介绍,分析了公文流转的业务过程,提出了基于工作流控制的公文流转系统的设计方法,使得目前存在的公文流转系统中并未实现真正流程化的问题得以解决,对于具体公文流转的抽象、简化以及整个系统规划都进行了详细的阐述。     

Applying Petri-Net-Based Reduction Approach for Verifying the Correctness of Workflow Models

0 IntroductionTobadaseyd’s o nintfhoer mflaotiwonof s ywsotrekmss t hhraovueg hbe tehne doervgealnoipzead-tion rather than based ontasks .Duetothistrend,work-flowand business process technology has been applied tovarious applications such as ERP, groupwares , E-mar-ketplaces , E-business etc . When business processes areapplied to these applications ,business processes are de-fined by process designers and business process instancesare executed by workflowengines or workflow manage-ment sys…     

基于构件检索的构件适配模式

针对传统的规约匹配可能出现的部分匹配问题，定义了输入适配、输出适配、串行适配、选择适配和递归组合模式等5种构件适配模式，并将其按照原子构件和复合构件的适配方式进行分类．通过研究原子构件适配模式所具有的清晰的前后置条件约束和逻辑关系，进一步从适配理论上分析了相应的复合构件适配算法的可行性．将切片思想引入需求规约的描述，得到分解的子规约，能较好地精化检索条件，从而提高构件检索的杏伞率和杏准率，并提高库中构件的可复用件．     

基于事前分析方法的工作流过程模型的验证

工作流执行过程中经常会出现非正常终止的情况,对此,将事前分析方法应用于工作流过程模型的验证中,即在工作流过程实例化前进行模型的有效性分析和结构正确性验证。该方法对传统的有向网络图进行扩展并以此来描述工作流过程,确定模型的有效性;进一步将扩展有向网络图转换成工作流网模型,应用Petri网技术分析该模型的冲突结构,以确保工作流过程的逻辑合理性。